Certain faults should not be reflected if caused with priv=0

Signed-off-by Kevin Tian <kevin.tian@intel.com>

diff --git a/xen/arch/ia64/xen/process.c b/xen/arch/ia64/xen/process.c
index 97425e40c61960c798188e7c93031a1c6cfb739d..3933801b30faad4447de32cccb96f73d62089da0 100644 (file)
--- a/xen/arch/ia64/xen/process.c
+++ b/xen/arch/ia64/xen/process.c
@@ -715,9 +715,9 @@ ia64_handle_reflection (unsigned long ifa, struct pt_regs *regs, unsigned long i
        unsigned long check_lazy_cover = 0;
        unsigned long psr = regs->cr_ipsr;
 
-       if (!(psr & IA64_PSR_CPL)) {
-               printk("ia64_handle_reflection: reflecting with priv=0!!\n");
-       }
+       /* Following faults shouldn'g be seen from Xen itself */
+       if (!(psr & IA64_PSR_CPL)) BUG();
+
        switch(vector) {
            case 8:
                vector = IA64_DIRTY_BIT_VECTOR; break;